Yean-Ru Chen,: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2010 International Conference on Green Circuits and Systems (ICGCS) - Shanghai, China (2010.06.21-2010.06.23)] The 2010 International Conference on Green Circuits and Systems - Formal modeling and verification for Network-on-chip

Chen, Yean-Ru, Su, Wan-Ting, Hsiung, Pao-Ann, Lan, Ying-Cherng, Hu, Yu-Hen, Chen, Sao-Jie

Year:

2010

Language:

english

File:

PDF, 1.20 MB

english, 2010

2

VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development

Chao-Sheng Lin, Chun-Hsien Lu, Shang-Wei Lin, Yean-Ru Chen, Pao-Ann Hsiung

Journal:

Journal of Computer Science and Technology

Year:

2011

Language:

english

File:

PDF, 754 KB

english, 2011

3

Modeling and verification of real-time embedded systems with urgency

Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Chihhsiong Shih, William C. Chu

Journal:

Journal of Systems and Software

Year:

2009

Language:

english

File:

PDF, 933 KB

english, 2009

4

Model Checking Safety-Critical Systems Using Safecharts

Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin

Journal:

IEEE Transactions on Computers

Year:

2007

Language:

english

File:

PDF, 2.97 MB

english, 2007

5

[IEEE 2013 Seventh IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Tempe, AZ, USA (2013.04.21-2013.04.24)] 2013 Seventh IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Backward probing deadlock detection for networks-on-chip

Chen, Yean-Ru, Wangt, Zi-Rong, Hsiunqt, Pao-Ann, Chen, Sao-Jie, Tsai, Meng-Hsun

Year:

2013

Language:

english

File:

PDF, 282 KB

english, 2013

6

[IEEE 2009 ICSE Workshop on Multicore Software Engineering (IWMSE) - Vancouver, BC, Canada (2009.05.18-2009.05.18)] 2009 ICSE Workshop on Multicore Software Engineering - Model-driven development of multi-core embedded software

Hsiung, Pao-Ann, Lin, Shang-Wei, Yean-Ru Chen,, Nien-Lin Hsueh,, Chih-Hung Chang,, Chih-Hsiong Shih,, Chorng-Shiuh Koong,, Chao-Sheng Lin,, Chun-Hsien Lu,, Sheng-Ya Tong,, Wan-Ting Su,, Chu,

Year:

2009

Language:

english

File:

PDF, 250 KB

english, 2009

7

Accelerating Coverage Estimation Through Partial Model Checking

Chen, Yean-Ru, Yeh, Jia-Jen, Hsiung, Pao-Ann, Chen, Sao-Jie

Journal:

IEEE Transactions on Computers

Year:

2014

Language:

english

File:

PDF, 2.36 MB

english, 2014

8

[IEEE 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012) - Dresden (2012.03.12-2012.03.16)] 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Congestion-aware scheduling for NoC-based reconfigurable systems

Hung-Lin Chao,, Yean-Ru Chen,, Sheng-Ya Tung,, Pao-Ann Hsiung,, Sao-Jie Chen,

Year:

2012

Language:

english

File:

PDF, 4.82 MB

english, 2012

9

AUTOMATIC FAILURE ANALYSIS USING SAFECHARTS

CHEN, YEAN-RU, HSIUNG, PAO-ANN

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2007

Language:

english

File:

PDF, 688 KB

english, 2007

10

[IEEE 2014 International Conference on Trustworthy Systems and their Applications (TSA) - Taichung, Taiwan (2014.6.9-2014.6.10)] 2014 International Conference on Trustworthy Systems and their Applications - Unified Security and Safety Risk Assessment - A Case Study on Nuclear Power Plant

Chen, Yean-Ru, Chen, Sao-Jie, Hsiung, Pao-Ann, Chou, I-Hsin

Year:

2014

Language:

english

File:

PDF, 442 KB

english, 2014

11

[IEEE 2020 Indo-Taiwan 2nd International Conference on Computing, Analytics and Networks (Indo-Taiwan ICAN) - Rajpura, Punjab, India (2020.2.7-2020.2.15)] 2020 Indo â Taiwan 2nd International Conference on Computing, Analytics and Networks (Indo-Taiwan ICAN) - Instruction Verification of Ethereum Virtual Machine by Formal Method

Ke, Chun-Sheng, Chen, Yean-Ru

Year:

2020

File:

PDF, 611 KB

2020